$\forall$$T$:Type, $A$, $B$, $C$:($T$ List). $A$ $\subseteq$ $B$ $\Rightarrow$ $A$ $\subseteq$ $B$ @ $C$